$\forall$$a$:$\mathbb{N}$, $b$:$\mathbb{N}^{+}$. $a$ $\mid$ $b$ $\Rightarrow$ $a$$\leq$$b$